Définition pour : Philippon Th.

Pour plus de détails, voir le paragraphe 35.7 et 50.13 du Vernimmen 2021.